We were shocked and deeply saddened to learn the news today. We had not heard from Martin for some time and were planning to write soon. Like so many others I considered Martin a loyal friend as well as a distinguished scholar. He set the highest standards for integrity and dedication to scholarship. No one was more generous in sharing his knowledlge with younger scholars.

Moje zainteresowanie pracami i dziełem Michaiła Bachtina oraz Eugena Rosenstocka-Huessy bierze swój początek z odkrycia, ze obaj myśliciele zgodnie twierdzili, iż religijna moc języka oraz mowy wyrasta z różnorodnych kryzysów życiowych. Theoria przez nich stworzona zbudowana jest na gruncie praxis i czerpie swą siłę ze zderzenia doświadczeń duchowych i intelektualnych obu filozofów z rewolucyjnym wrzeniem otaczającej ich współczesności. Wykład niniejszy to próba nawiązania dialogu z osobami podzielającymi podobne zainteresowania i troski. Pisząc go kierowałem się także pragnieniem zaabsorbowania uwagi moich słuchaczy (...) przedstawione w nim istoty metalingwistyki głoszonej przez „nieortodoksyjnego" prawosławnego teoretyka literatury i filozofa języka, Michaiła Bachtina, oraz znaczeniem metanomiki opracowanej przez „rewolucyjnie konserwatywnego" chrześcijańskiego myśliciela mowy i filozofa społecznego, Eugena Rosenstocka-Huessy. Zamiarem moim jest przedstawienie roli, jaką społeczno-religijne modele filozofii i socjologii oparte na mowie i języku mogą^ odegrać w dążeniach do zaprowadzenia pokojowego współistnienia na całej naszej planecie. Ten właśnie obszar zainteresowań został określony przez Williama Jamesa, amerykańskiego filozofa pragmatyzmu, mianem „moralnego równoważnika wojny”. Przywołując na pamięć ogromną rzeszę myślicieli, których prace odnoszą się bezpośrednio do wyznaczonego tu obszaru – a w pewnych przypadkach noszą znamiona dzieła prekursorskiego – nie możemy poprzestać na wymienieniu tylko nazwiska Williama Jamesa. Inne wielkie postaci to: Charles Sanders Pierce, George Herbert Mead, a także myśliciele podejmujący zagadnienia, które później stały się treścią filozofii Rosenstocka-Huessy, tj. Giovanni Battista Vico, J. G. Hamann, Comte de Saint-Simon oraz Giuseppe Ferrari. (shrink)

Moje zainteresowanie pracami i dziełem Michaiła Bachtina oraz Eugena Rosenstocka-Huessy bierze swój początek z odkrycia, ze obaj myśliciele zgodnie twierdzili, iż religijna moc języka oraz mowy wyrasta z różnorodnych kryzysów życiowych. Theoria przez nich stworzona zbudowana jest na gruncie praxis i czerpie swą siłę ze zderzenia doświadczeń duchowych i intelektualnych obu filozofów z rewolucyjnym wrzeniem otaczającej ich współczesności. Wykład niniejszy to próba nawiązania dialogu z osobami podzielającymi podobne zainteresowania i troski. Pisząc go kierowałem się także pragnieniem zaabsorbowania uwagi moich słuchaczy (...) przedstawione w nim istoty metalingwistyki głoszonej przez „nieortodoksyjnego" prawosławnego teoretyka literatury i filozofa języka, Michaiła Bachtina, oraz znaczeniem metanomiki opracowanej przez „rewolucyjnie konserwatywnego" chrześcijańskiego myśliciela mowy i filozofa społecznego, Eugena Rosenstocka-Huessy. Zamiarem moim jest przedstawienie roli, jaką społeczno-religijne modele filozofii i socjologii oparte na mowie i języku mogą^ odegrać w dążeniach do zaprowadzenia pokojowego współistnienia na całej naszej planecie. Ten właśnie obszar zainteresowań został określony przez Williama Jamesa, amerykańskiego filozofa pragmatyzmu, mianem „moralnego równoważnika wojny”. Przywołując na pamięć ogromną rzeszę myślicieli, których prace odnoszą się bezpośrednio do wyznaczonego tu obszaru – a w pewnych przypadkach noszą znamiona dzieła prekursorskiego – nie możemy poprzestać na wymienieniu tylko nazwiska Williama Jamesa. Inne wielkie postaci to: Charles Sanders Pierce, George Herbert Mead, a także myśliciele podejmujący zagadnienia, które później stały się treścią filozofii Rosenstocka-Huessy, tj. Giovanni Battista Vico, J. G. Hamann, Comte de Saint-Simon oraz Giuseppe Ferrari. (shrink)

Both editors have long been known for their work on Plotinus. Schwyzer has published important articles on the MSS A, V, and D, on the Pseudo-Aristotelian Theology and its relation to Porphyry's edition of the Enneads, on Plotinus' interpretation of Timaeus 35 A, and on the relation of Plotinus' triad of hypostases to his interpretation of Parmenides 139-145 ; and he is the author of the new article on Plotinus in the Pauly-Wissowa Realencyclopädie. Ever since 1933 Henry has been publishing (...) a series of books and articles dealing with the text of Plotinus, its constitution, influence, and transmission. Of these works three books are especially important, since they were meant to constitute a critical introduction to the edition of the Enneads. The first of these, Recherches sur la Préparation Évangélique d'Eusèbe et l'Édition Perdue des Oeuvres de Plotin Publiée par Eustochius, undertakes to establish the fidelity of Porphyry, the first editor of the Enneads, to the autographs of Plotinus from which he made his recension. The second, Études Plotiniennes I: Les États du Texte de Plotin, a detailed study of the indirect tradition, reinforces this conclusion and establishes the authority of the archetype of the direct tradition. That archetype, Henry concludes, was as faithful to the recension of Porphyry as Porphyry was to the original written by Plotinus, and the indirect tradition is rather a guarantee of the faithfulness of the Porphyrian edition reproduced by the archetype than a source of corrections for the text of our MSS. The third volume, Études Plotiniennes II: Les Manuscrits des Ennéades, an exhaustive study of the character and history of the extant MSS, has for its purpose the determination of the necessary and sufficient evidence for the reconstitution of the archetype, the common ancestor of all the MSS of the direct tradition. No attempt is made to establish a stemma leading from the original to the extant MSS. Henry is here concerned rather to identify in the mass of material all the representative elements of the direct tradition and so to establish the apparatus of the critical edition on a basis broad enough to be forever independent of any hypothesis concerning the ultimate relations of the families represented by the extant MSS. In four chapters he studies the MSS of groups w, x, y, z respectively, in a fifth the MSS which Perna used for the editio princeps, and in two Appendices four lost MSS of which some record remains and the fragment of Eusebius in Vaticanus Rossianus 986. The volume is equipped with a detailed inventory of the MSS, a table of water, marks, and an index of proper names. One of the most important results of this study of Henry's is the identification of the MSS derivative from A, several of which had been used as independent witnesses to the arche- typal text but which Henry has shown to have no textual authority whatever. The results of this volume, however, are to be corrected in the light of three pages of "Corrections et Compléments" at the end of the second edition, which save for this list is an exact reimpression of the first. In 1946 Henry and Schwyzer began their collaboration in the preparation of the critical edition, and their study of the variants led them to certain conclusions different from those that Henry had printed in Les Manuscrits. In particular, they decided that D, which Henry had, though with some hesitation, treated as a member of family y, does not belong to y or to any other of the recognized groups of MSS but constitutes a family of its own; and they distinguished in the hand which Henry had hitherto called A1 and Schwyzer A2 two separate hands: one, hereafter to be called A1, which they believe to be that of the scribe of A himself correcting his MS from a source different from any extant MS and different also from the sub-archetypes of these MSS, so that the readings of A1 must represent a separate family or another archetype ; and a second, hereafter to be called A2, the corrections of which appear to be conjectures and so to have no authority for the text. (shrink)

„Czytelnicy sięgną po tę książkę przede wszystkim z racji nie ogłoszonych dotąd drukiem listów Martina Bubera" - pisze w pierwszym Słowie wstępnym Freya von Moltke, znana niektórym jako Honorowa Przewodnicząca Rady Fundacji „Krzyżowa". Drugie Słowo wstępne dołączył Maurice Friedman, obecnie emerytowany profesor filozofi w amerykańskich uczelniach, któremu zawdzięczamy m.in. obszerne trzytomowe dzieło o życiu i twórczości Bubera. Czytelnika może zastanowić fakt, że tak zatytułowana pozycja jest tłumaczeniem z języka angielskiego, dokładniej: z amerykańskiego - jak podaje nota bibliograficzna.

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

When the whole is greater than the sum of the parts--indeed, so great that the sum far transcends the parts and represents something utterly new and different--we call that phenomenon emergence. When the chemicals diffusing in the primordial waters came together to form the first living cell, that was emergence. When the activities of the neurons in the brain result in mind, that too is emergence. In The Emergence of Everything, one of the leading scientists involved in the study of (...) complexity, Harold J. Morowitz, takes us on a sweeping tour of the universe, a tour with 28 stops, each one highlighting a particularly important moment of emergence. For instance, Morowitz illuminates the emergence of the stars, the birth of the elements and of the periodic table, and the appearance of solar systems and planets. We look at the emergence of living cells, animals, vertebrates, reptiles, and mammals, leading to the great apes and the appearance of humanity. He also examines tool making, the evolution of language, the invention of agriculture and technology, and the birth of cities. And as he offers these insights into the evolutionary unfolding of our universe, our solar system, and life itself, Morowitz also seeks out the nature of God in the emergent universe, the God posited by Spinoza, Bruno, and Einstein, a God Morowitz argues we can know through a study of the laws of nature. Written by one of our wisest scientists, The Emergence of Everything offers a fascinating new way to look at the universe and the natural world, and it makes an important contribution to the dialogue between science and religion. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Molly Anderson’s 2020 Presidential Address for the Agriculture and Human Values Society, is a bold call to action that considers the scope and depth of the challenges facing global food systems. This call has particular relevance to scholars who are closely aligned with struggles for food justice and food sovereignty. In this discussion piece, I suggest additional nuance that builds and expands on Anderson’s three opportunities for “pushing beyond the boundaries”. First, collaborations for social and ecological change must be willing (...) to expand predominant ideas to the varied ways that people engage with food systems. Second, interactions with global social movements demands grounding our work in the hearts and minds of individuals and communities while also addressing structural concerns at the levels of governance that enable and constrain food system functions. Third, food systems thinking and action must begin with our relationships to the land and its original inhabitants. The settler colonial project is integrally connected to the dominant food system that is premised on exploitation and control of land, water and people. As scholar allies, “pushing the boundaries” demands acknowledging ways that we are complicit in unjust systems and ways that we benefit from them; doing the personal work required for unlearning and relearning; being prepared to take actions that move towards more equitable and sustainable food systems; and, accepting the potential risks and material consequences that equity demands. (shrink)

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

The article is devoted to the well-known dispute between R. Carnap and W.V.O. Quine on the meaning of statements with names of abstractions, which also revealed their disagreements on the more general question of the nature of the dependence of ontology on the choice of language of knowledge. According to Quine, the choice of language carries with it certain ontological commitments – judgments of existence that must be true for anyone who appropriately uses the language in question. The language of (...) abstractions (using appropriate names and indications) is widely used not only in philosophy and everyday communication, but also in the sciences, including natural sciences. The names of abstractions (or, alternatively, quantification by corresponding entities) cannot be completely excluded from science, as Carnap, in particular, points out. He also considers it wrong to attribute to a scientist with empiricist views the belief in the existence of something that he, as an empiricist, is not ready to consider existing. In his view, the choice of language (framework) does not carry any ontological obligations: it determines what should be the correct answer to the so-called internal questions of the theory but does not affect metaphysical questions. Carnap interprets meaningful statements about abstractions as analytical truths, while Quine believes that most references to abstractions are removable from the language of science, and those that are not removable create additional ontological obligations, which, however, for some reason say nothing about reality itself. But why this is so, if the theory implicating them claims to describe reality, is not clear. This debate about the role of judgments about abstractions in scientific knowledge gave rise to a whole branch of metaphysical and ontological research, best known as metaontology. The main parties in this dispute are realists, who interpret irreducible abstractions as part of reality and denotations of certain names, and anti-realists, who, as a rule, deny the connection of statements with such names with reality, treating them as pseudo-statements or something similar. The solution to the problem, which is proposed in this article, consists in abandoning the belief, widespread both in philosophy and in everyday thought, which can be generally called “The theory of reference” and which consists in the fact that the contribution of names and certain other types of expressions to communication is their denotations. If we assume that names have no denotations at all and their semantic contribution to statements is only their senses or something similar, then the names of abstractions in this respect will be no different from other types of names. In this case, it would be no need to either assume that they designate some “Platonic” entities in order for some statements with them being true, nor interpret these judgments as pseudo-statements or as truths of some special kind that are not related to reality. The interpretation of statements with such names and their evaluation will not pose any special problem for the empiricist with this approach. (shrink)

This book explores the thought of Jacques Derrida as it relates to the tradition of apophatic thought--negative theology and philosophy--in both Western and Eastern traditions. Following the Introduction by Toby Foshay, two of Derrida's essays on negative theology, Of an Apocalyptic Tone Newly Adopted in Philosophy and How to Avoid Speaking: Denials, are reprinted here. These are followed by essays from a Western perspective by Mark C. Taylor and Michel Despland, and essays from an Eastern perspective by David Loy, a (...) Buddhist, and Harold Coward, a Hindu. In the Conclusion, Jacques Derrida responds to these discussions. (shrink)

Since the introduction of the U.S. Sarbanes-Oxley Act in 2002 and several other national corporate governance codes, whistleblowing policies have been implemented in a growing number of companies. Existing research indicates that this type of governance codes has a limited direct effect on ethical or whistleblowing behaviour whereas whistleblowing policies at the corporate level seem to be more effective. Therefore, evidence on the impact of (inter)national corporate governance codes on the content of corporate whistleblowing policies is important to understand their (...) indirect impact on whistleblowing behaviour. This study analyzes the contents of whistleblowing policies, and parts of corporate codes of conduct and codes of ethics, describing such policies of 56 leading European companies. By classifying the contents in seven categories, an exploratory framework was created. General contents often identified were: applicability to all employees, a group-wide scope and an authoritative tone. The most common general violations to report were breaches of internal policies and external regulations or laws. The more specific violations most frequently mentioned were criminal offences and dangers to health and safety or the environment. Contacts to report to were the direct or indirect supervisors, a compliance officer or a confidential “hotline” facility. A confidentiality guarantee was common and anonymous reporting was often possible, though sometimes discouraged. Protection against retaliation is stated by ensuring that retaliation will not happen, prohibiting it or making it punishable. The requirement of good faith was frequently given. Finally, investigation of the report was often guaranteed. Surprisingly little information is given on the treatment of whistleblowers reporting an unfounded complaint in good faith, or reporting a violation they were involved in. The study’s findings are most relevant to companies without a whistleblowing policy or those that intend to benchmark their policies, and to pan-European standard setters. (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

The origins of research projects, the duties of supervisors and research workers, the subjective elements in research and the difficulties of publication are reviewed, as a guide to the complexities of executing an honest research project. It is assumed that research carried out with maximal intellectual integrity will result in real advances.

Reviews concepts of hope, despair, and depression. Hope is viewed as the belief and expectation that one has some control over life and the future, that unpleasant events are products of both personal perspective and fate, and that problems will be mastered or will fade.

Good and evil; religious aspects; Islam.

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

Saul Kripke is one of the most important philosophers of the twentieth century. His most celebrated work, Naming and Necessity , makes arguably the most important contribution to the philosophy of language and metaphysics in recent years. Asking fundamental questions – how do names refer to things in the world? Do objects have essential properties? What are natural kind terms and to what do they refer? – he challenges prevailing theories of language and conceptions of metaphysics, especially the descriptivist account (...) of reference, which Kripke argues is found in Frege, Wittgenstein and Russell, and the anti-essentialist metaphysics of Quine. In this invaluable guidebook to Kripke's classic work, Harold Noonan introduces and assesses: Kripke's life and the background to his philosophy the ideas and text of Naming and Necessity the continuing importance of Kripke's work to the philosophy of language and metaphysics. The Routledge Philosophy GuideBook to Kripke and Naming and Necessity is an ideal starting point for anyone coming Kripke's work for the first time. It is essential reading for philosophy students studying philosophy of language, metaphysics, logic, or the history of analytic philosophy. (shrink)

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

Like other cultural variants, tastes in companion animals can shift rapidly. An analysis of American Kennel Club puppy registrations from 1946 through 2003 identified rapid but transient large-scale increases in the popularity of specific dog breeds. Nine breeds of dogs showed particularly pronounced booms and busts in popularity. On average, the increase phase in these breeds lasted 14 years, during which time annual new registrations increased 3,200%. Equally steep decreases in registrations for the breeds immediately followed these jumps in popularity. (...) The existence of extreme fluctuations in preferences for dog breeds has implications for understanding changes in attitudes toward companion animals, veterinary epidemiology, and canine evolution. (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)